

#ifndef ISO14443p4a_h__
#define ISO14443p4a_h__

#include "WCI.h"
#include "ISO14443p4.h"

int ISO14443p4b_GetParams(unsigned char * atqb, ISO14443p4Param_T * params);

#endif // ISO14443p4a_h__

